MUON
Projects
Help
Log in
Sign up
MUON home
Help
Muon tools
Merge DGS
Merge DGS
Merges several DGS files and produces a single DGS file
Input file(s)
inDGS
Description
the DGS input file
Type
dgs
Quantifier
1 or more (mandatory)
Output file(s)
outDGS
Description
the DGS output file
Type
dgs